
p {
    text-indent: 2em;
    text-align: justify;
}

body {
  width: 640pt;
  font-family: sans-serif;
  font-size: 10pt;
  counter-reset: figures;
}
div.phase {
    float: right;
    width: 30em;
    border: 1px solid silver;
    margin: 1em;
    margin-right: 0em;
    padding: 1em;
    padding-top: 0.5em;
}
div.document {
  border: 1px dotted #B0B0B0;
  padding: 1em;
}

h1, h2 {
  font-family: serif;
  color: white;
  border-bottom: 1pt solid black;
}

pre.terminal {
    background-color: black;
    color: silver;
    padding: 0.2em;
    margin: 0px;
}

h1 {
  margin: 0px;
  font-size: 21pt;
  background-color: black;
}

h1:before {
  content: url('FreeBSD.png');
  vertical-align: top;
  margin-right: 1em;
}
h2 {
  font-size: 16pt;
  background-color: grey;
  padding-left: 1em;
}
div.right {
  float: right;
  margin-right: 1em;
}
div.figure {
  counter-increment: figures;
  text-align: center;
}
div.figure svg {
  border-bottom: solid 1px #D8D8D8;
}
div.figure:after {
  content: 'Figure ' counter(figures) ': ' attr(title);
  display: block;
}

div.footer {
  text-align: center;
}
